广义正交码索引调制系统的性能分析

摘 要：为了提高码索引调制（code index modulation，CIM）系统的传输效率，提出了一种具有更低复杂度的单输入单输出（single input single output，SISO）的广义正交码索引调制（generalized orthogonal code index modulation，GQCIM）系统。CIM 系统使用扩频码和星座符号传输信息，但只能激活两个扩频码索引和一个调制符号。而 GQCIM 系统以一种新颖的方式克服了只激活一个调制符号的限制，同时充分利用了调制符号的正交性，增加扩频码索引以传输更多的额外信息位，提高了系统的传输效率。此外，分析了GQCIM系统的理论性能，推导了误码率性能的上界。通过蒙特卡罗仿真验证了GQCIM系统的性能，对比发现GQCIM系统的理论和仿真性能一致。而且在相同的传输效率下，结果显示GQCIM系统的性能优于同样具有正交性的调制系统，如广义码索引调制（generalized code index modulation，GCIM）系统、CIM系统、码索引调制-正交空间调制（code index modulation aided quadrature spatial modulation，CIM-QSM）系统、码索引调制-正交空间调制（code index modulation aided spatial modulation，CIM-SM）系统、脉冲索引调制（pulse index modulation，PIM）系统。     

黔北桑木场背斜铅锌矿深部找矿实例分析*#br#

黔北桑木场背斜位于上扬子地块黔北隆起区毕节弧形褶皱带与赤水克拉通盆地的交汇部位，属于有利的铅锌成矿区带。区内铅锌矿的赋矿层位主要有震旦系灯影组、寒武系清虚洞组、高台组及石冷水组，矿体多产于背斜核部并受断层或裂隙控制。通过对地层岩性特征、地表矿化特征、控容矿构造特征、化探异常特征、物探异常特征等进行综合研究，选择在成矿有利地段进行了工程验证，为进一步开展桑木场背斜铅锌矿深部找矿工作提供了思路。     

A review of the existing performance verification infrastructure for micro-CMMs

The performance verification of micro-CMMs is now of intense interest because of their capability to perform length measurements in three dimensions to high accuracy with low uncertainties. Currently, verification of micro-CMMs is completed in the spirit of existing specification standards, because strict adherence to these standards is often difficult. This review aims to present and discuss verification techniques available for micro-CMMs: specification standards, existing calibrated test lengths and traceability routes that can be associated with micro-CMMs. Three specification standards used in the testing of CMMs will be considered. In addition, a wide range of calibrated test lengths are reported, and any advantages and disadvantages associated with their use are discussed. It is concluded that micro-CMMs cannot yet be verified in accordance with existing specification standards. Suggestions are made for future standardisation work required to rectify these issues.     

高温氢工质热物理性质计算分析

氢工质在新能源与动力、航天推进、化工材料等领域有着广泛应用。通过开展高温氢工质热力学与输运性质研究，建立了原子态氢、分子态氢、热解平衡态氢的热物理性质计算模型，开发了热物性计算程序Prop_H_H2，适用范围为温度100~3 500 K、压力104~5×107 Pa 。验证表明，Prop_H_H2在适用范围内计算氢工质的物性参数合理可靠，在温度200~3 000 K、压力104~107 Pa范围内，程序预测值更加准确，相对偏差在±5%左右。本研究可为氢工质相关的航天推进、应用物理学、能源动力等行业的科研和应用提供支持借鉴。     

基于哈希链的软件定义网络路径安全

针对软件定义网络中，控制器无法保证下发的网络策略能够在转发设备上得到正确执行的安全问题，提出一种新的转发路径监控安全方案。首先以控制器的全局视图能力为基础，设计了基于OpenFlow协议的路径凭据交互处理机制；然后采用哈希链和消息验证码作为生成和处理转发路径凭据信息的关键技术；最后在此基础上，对Ryu控制器和Open vSwitch开源交换机进行深度优化，添加相应处理流程，建立轻量级的路径安全机制。测试结果表明，该机制能够有效保证数据转发路径安全，吞吐量消耗比SDN数据层可信转发方案（SDNsec）降低20%以上，更适用于路径复杂的网络环境，但时延和CPU使用率的浮动超过15%，有待进一步优化。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Epigenetic Targets for Oligonucleotide Therapies of Pulmonary Arterial Hypertension

Arterial wall remodeling underlies increased pulmonary vascular resistance and right heart failure in pulmonary arterial hypertension (PAH). None of the established vasodilator drug therapies for PAH prevents or reverse established arterial wall thickening, stiffening, and hypercontractility. Therefore, new approaches are needed to achieve long-acting prevention and reversal of occlusive pulmonary vascular remodeling. Several promising new drug classes are emerging from a better understanding of pulmonary vascular gene expression programs. In this review, potential epigenetic targets for small molecules and oligonucleotides will be described. Most are in preclinical studies aimed at modifying the growth of vascular wall cells in vitro or normalizing vascular remodeling in PAH animal models. Initial success with lung-directed delivery of oligonucleotides targeting microRNAs suggests other epigenetic mechanisms might also be suitable drug targets. Those targets include DNA methylation, proteins of the chromatin remodeling machinery, and long noncoding RNAs, all of which act as epigenetic regulators of vascular wall structure and function. The progress in testing small molecules and oligonucleotide-based drugs in PAH models is summarized.     

Sanitary legislation governing Food Services in Brazil

The Technical Regulation of Good Practices for Brazilian Food Services (Regulamento Técnico de Boas Práticas para Serviços de Alimentação do Brasil) can be complemented by sanitary surveillance agencies at the state, district and municipal levels by tailoring it to location-specific requirements. The purpose of the present study was to survey sanitary legislation governing Brazilian Food Services. During the period from November 2011 to November 2012, a survey was conducted with the sanitary surveillance agencies from the various states, capitals and the Federal District. A previously prepared and tested tool was used for data collection, comprising 10 questions. Only 10 (19.2%) of the sanitary codes had been established prior to RDC Resolution n° 216/2004 and were not complementary. Of the legislation cited as complementary, only the states of Santa Catarina, Rio Grande do Sul and São Paulo and the capital of the state of São Paulo truly presented additional and location-specific aspects. No legislation that was specific to hospital kitchens was found. The majority of participating coordination, including the Evaluation List for Good Practices in Food Services, was also verified; however, it had not been published. In conclusion, a gap in sanitary surveillance services exists, which was caused by the lack of location-specific food service regulations.     

气压仪器检定装置的升级改造

文章针对气压检定装置在使用中存在的一些问题,会同厂家对其进行了升级改造。介绍了改造后的气压检定装置的设计原理、软件和硬件设计以及技术指标等,新装置集成了目前先进的计量设备及技术,编写相应的程序软件升级改造而成。可广泛适用于气象部门空盒气压表、自动站气压传感器以及部分数字压力计的计量检定工作,实现气压检定工作的自动化,提高检定数据的准确性和可靠性,并有效提高检定的工作效率。     

对荷载规范中旋转壳顶的风载体型系数的研究

采用CFD数值模拟方法,研究了旋转壳顶在不同矢跨比、长宽比等参数影响下的风压分布特性,并得到风载体型系数,对现行风荷载规范作了一定的补充。